/* part1test.c
 * test the syscall for the lock and condition
 */
#include "theater.h"


int main()
{
   exec("../test/rpctests3");
   Exit(0);
}

